$\forall$$A$:Type, ${\it es}$:ES. Empty $\in$ AbsInterface($A$)